[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 182 280 0 0 0 0 -1

N.S.

1 1.00 1.11 1.71 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.083 0.264 0.487 0.000 0.000 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 77 150 0 125 0 0 -1

N.S.

1 1.00 0.74 1.44 0.00 1.20 0.00 0.00 -0.01

time (sec)

N/A 0.059 0.073 0.372 0.000 0.366 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 138 230 0 0 0 0 -1

N.S.

1 1.00 1.18 1.97 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.171 0.436 0.000 0.000 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 53 100 40 106 42 0 -1

N.S.

1 1.00 1.00 1.89 0.75 2.00 0.79 0.00 -0.02

time (sec)

N/A 0.040 0.040 0.323 0.264 0.340 0.260 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 90 183 0 0 0 0 -1

N.S.

1 1.00 1.43 2.90 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.037 0.134 0.288 0.000 0.000 0.000 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 63 136 0 0 0 0 -1

N.S.

1 1.00 0.98 2.12 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.062 0.026 0.142 0.000 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 42 61 35 97 0 0 -1

N.S.

1 1.00 0.86 1.24 0.71 1.98 0.00 0.00 -0.02

time (sec)

N/A 0.033 0.059 0.155 0.258 0.344 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 54 77 0 106 0 0 -1

N.S.

1 1.00 0.60 0.86 0.00 1.18 0.00 0.00 -0.01

time (sec)

N/A 0.040 0.030 0.151 0.000 0.347 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 73 112 0 116 0 0 -1

N.S.

1 1.00 0.72 1.10 0.00 1.14 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.068 0.227 0.000 0.348 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 281 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.140 0.393 0.532 0.000 0.000 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 188 236 0 0 0 0 -1

N.S.

1 1.00 1.02 1.28 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.125 0.397 0.403 0.000 0.000 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 199 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.334 0.384 0.000 0.000 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 101 149 0 0 0 0 -1

N.S.

1 1.00 0.99 1.46 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.086 0.254 0.317 0.000 0.000 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 128 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.062 0.089 0.175 0.000 0.000 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 84 181 0 0 0 0 -1

N.S.

1 1.00 0.95 2.06 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.060 0.143 0.000 0.000 0.000 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 75 98 55 155 0 0 -1

N.S.

1 1.00 0.90 1.18 0.66 1.87 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.109 0.158 0.270 0.360 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 147 126 0 174 0 0 -1

N.S.

1 1.00 1.07 0.92 0.00 1.27 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.229 0.154 0.000 0.391 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 120 192 0 186 0 0 -1

N.S.

1 1.00 0.67 1.07 0.00 1.04 0.00 0.00 -0.01

time (sec)

N/A 0.088 0.079 0.219 0.000 0.373 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 143 138 135 183 0 0 -1

N.S.

1 1.00 1.01 0.97 0.95 1.29 0.00 0.00 -0.01

time (sec)

N/A 0.041 0.143 0.178 0.466 0.364 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 97 81 78 100 94 0 -1

N.S.

1 1.00 0.89 0.74 0.72 0.92 0.86 0.00 -0.01

time (sec)

N/A 0.034 0.058 0.170 0.257 0.376 0.930 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 123 118 106 174 0 0 -1

N.S.

1 1.00 1.12 1.07 0.96 1.58 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.080 0.186 0.464 0.372 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 77 72 57 90 68 0 -1

N.S.

1 1.00 1.00 0.94 0.74 1.17 0.88 0.00 -0.01

time (sec)

N/A 0.022 0.050 0.172 0.270 0.354 0.412 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 103 96 73 162 0 0 -1

N.S.

1 1.00 1.32 1.23 0.94 2.08 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.055 0.165 0.456 0.383 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 57 63 36 73 46 0 50

N.S.

1 1.00 1.27 1.40 0.80 1.62 1.02 0.00 1.11

time (sec)

N/A 0.010 0.036 0.165 0.259 0.354 0.187 0.000 1.391

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 77 42 31 119 0 0 44

N.S.

1 1.00 1.92 1.05 0.78 2.98 0.00 0.00 1.10

time (sec)

N/A 0.010 0.105 0.062 0.254 0.356 0.000 0.000 1.344

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 47 100 0 0 0 0 -1

N.S.

1 1.00 0.84 1.79 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.092 0.033 0.172 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 42 58 32 66 0 0 46

N.S.

1 1.00 1.05 1.45 0.80 1.65 0.00 0.00 1.15

time (sec)

N/A 0.015 0.039 0.165 0.267 0.343 0.000 0.000 1.476

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 117 112 105 77 0 0 61

N.S.

1 1.00 1.24 1.19 1.12 0.82 0.00 0.00 0.65

time (sec)

N/A 0.026 0.048 0.168 0.257 0.371 0.000 0.000 1.464

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 74 77 56 79 0 0 -1

N.S.

1 1.00 0.96 1.00 0.73 1.03 0.00 0.00 -0.01

time (sec)

N/A 0.023 0.042 0.165 0.256 0.356 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 137 135 147 90 0 0 -1

N.S.

1 1.00 1.09 1.07 1.17 0.71 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.070 0.171 0.261 0.336 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 94 85 73 89 0 0 -1

N.S.

1 1.00 0.86 0.78 0.67 0.82 0.00 0.00 -0.01

time (sec)

N/A 0.034 0.058 0.171 0.255 0.346 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 157 155 185 100 0 0 -1

N.S.

1 1.00 0.99 0.98 1.17 0.63 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.096 0.175 0.253 0.365 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 212 238 0 244 0 0 -1

N.S.

1 1.00 1.71 1.92 0.00 1.97 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.204 0.490 0.000 0.381 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 241 349 0 0 0 0 -1

N.S.

1 1.00 1.72 2.49 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.866 0.552 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 112 173 84 205 99 0 -1

N.S.

1 1.00 1.72 2.66 1.29 3.15 1.52 0.00 -0.02

time (sec)

N/A 0.056 0.142 0.443 0.257 0.417 0.271 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 126 242 0 0 0 0 -1

N.S.

1 1.00 1.62 3.10 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.164 0.348 0.000 0.000 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 116 250 0 0 0 0 -1

N.S.

1 1.00 1.40 3.01 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.100 0.218 0.000 0.000 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 87 124 78 143 0 0 -1

N.S.

1 1.00 1.43 2.03 1.28 2.34 0.00 0.00 -0.02

time (sec)

N/A 0.053 0.145 0.250 0.263 0.349 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 183 192 0 165 0 0 -1

N.S.

1 1.00 1.55 1.63 0.00 1.40 0.00 0.00 -0.01

time (sec)

N/A 0.062 0.103 0.234 0.000 0.422 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 134 192 0 181 0 0 -1

N.S.

1 1.00 1.10 1.57 0.00 1.48 0.00 0.00 -0.01

time (sec)

N/A 0.076 0.158 0.278 0.000 0.346 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 268 264 0 204 0 0 -1

N.S.

1 1.00 1.77 1.75 0.00 1.35 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.173 0.328 0.000 0.352 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 337 503 0 0 0 0 -1

N.S.

1 1.00 1.51 2.26 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.156 1.400 0.624 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 440 0 0 0 0 0 -1

N.S.

1 1.00 1.82 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.141 0.753 0.014 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 219 337 0 0 0 0 -1

N.S.

1 1.00 1.74 2.67 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.111 0.608 0.503 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 282 0 0 0 0 0 -1

N.S.

1 1.00 2.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.283 0.013 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 182 454 0 0 0 0 -1

N.S.

1 1.00 1.60 3.98 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.106 0.146 0.231 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 165 227 144 228 0 0 -1

N.S.

1 1.00 1.62 2.23 1.41 2.24 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.218 0.260 0.281 0.352 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 245 321 0 271 0 0 -1

N.S.

1 1.00 1.50 1.97 0.00 1.66 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.312 0.296 0.000 0.351 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 256 387 0 305 0 0 -1

N.S.

1 1.00 1.20 1.82 0.00 1.43 0.00 0.00 -0.00

time (sec)

N/A 0.120 0.244 0.260 0.000 0.353 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 332 485 0 351 0 0 -1

N.S.

1 1.00 1.37 2.00 0.00 1.45 0.00 0.00 -0.00

time (sec)

N/A 0.140 0.493 0.358 0.000 0.352 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.012 1.618 0.391 0.000 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.005 0.026 0.239 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.018 0.221 0.163 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 43 54 0 0 0 0 -1

N.S.

1 1.00 0.93 1.17 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.082 0.062 0.303 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 56 60 0 0 0 0 -1

N.S.

1 1.00 0.89 0.95 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.111 0.060 0.355 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 91 110 0 0 0 0 -1

N.S.

1 1.00 0.78 0.94 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.181 0.119 0.480 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.012 12.267 0.430 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.005 6.522 0.239 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.018 3.523 0.158 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 82 164 0 0 0 0 -1

N.S.

1 1.00 0.95 1.91 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.106 0.226 0.362 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 92 186 0 0 0 0 -1

N.S.

1 1.00 1.08 2.19 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.125 0.254 0.401 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 250 420 0 0 0 0 -1

N.S.

1 1.00 1.32 2.21 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.226 0.378 0.552 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.011 4.385 0.379 0.000 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.005 2.704 0.272 0.000 0.000 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.017 1.886 0.168 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 103 244 0 0 0 0 -1

N.S.

1 1.00 0.90 2.14 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.123 0.193 0.353 0.000 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 122 277 0 0 0 0 -1

N.S.

1 1.00 1.09 2.47 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.148 0.281 0.434 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 204 628 0 0 0 0 -1

N.S.

1 1.00 0.85 2.62 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.276 0.396 0.591 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 4.112 0.487 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 2.409 0.372 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 97 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.029 0.100 0.329 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 0.287 0.664 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 0.559 0.605 0.000 0.000 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 190 283 219 753 0 0 -1

N.S.

1 1.00 0.72 1.07 0.83 2.85 0.00 0.00 -0.00

time (sec)

N/A 0.241 0.231 0.244 0.465 0.449 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 147 215 152 464 0 0 -1

N.S.

1 1.00 0.73 1.07 0.76 2.31 0.00 0.00 -0.00

time (sec)

N/A 0.150 0.138 0.280 0.474 0.416 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 139 125 72 216 0 0 99

N.S.

1 1.00 0.98 0.88 0.51 1.52 0.00 0.00 0.70

time (sec)

N/A 0.080 0.240 0.178 0.270 0.376 0.000 0.000 1.527

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 77 42 31 119 0 0 44

N.S.

1 1.00 1.92 1.05 0.78 2.98 0.00 0.00 1.10

time (sec)

N/A 0.011 0.050 0.059 0.253 0.378 0.000 0.000 1.392

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 393 527 0 0 0 0 -1

N.S.

1 1.00 1.72 2.30 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.616 0.378 0.600 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 222 243 0 1161 0 0 -1

N.S.

1 1.00 1.51 1.65 0.00 7.90 0.00 0.00 -0.01

time (sec)

N/A 0.083 0.153 1.546 0.000 0.398 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

306 306 342 1094 0 4375 0 0 -1

N.S.

1 1.00 1.12 3.58 0.00 14.30 0.00 0.00 -0.00

time (sec)

N/A 0.140 0.442 1.474 0.000 0.719 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

343 343 2653 818 0 0 0 0 -1

N.S.

1 1.00 7.73 2.38 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.452 18.894 0.492 0.000 0.000 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

279 279 2938 413 0 0 0 0 -1

N.S.

1 1.00 10.53 1.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.264 22.765 0.444 0.000 0.000 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

187 187 1707 286 0 0 0 0 -1

N.S.

1 1.00 9.13 1.53 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.173 14.183 0.438 0.000 0.000 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

105 105 1675 251 0 0 0 0 -1

N.S.

1 1.00 15.95 2.39 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.119 13.644 0.425 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

278 278 4527 890 0 0 0 0 -1

N.S.

1 1.00 16.28 3.20 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.219 22.552 0.457 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

609 609 8675 1612 0 0 0 0 -1

N.S.

1 1.00 14.24 2.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.417 22.877 0.510 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

87 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.033 9.062 0.294 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 162 224 246 341 0 0 -1

N.S.

1 1.00 0.71 0.98 1.07 1.49 0.00 0.00 -0.00

time (sec)

N/A 0.086 0.243 0.318 0.471 0.504 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 144 182 184 313 0 0 -1

N.S.

1 1.00 0.83 1.05 1.06 1.80 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.148 0.309 0.470 0.559 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 186 135 109 267 0 0 -1

N.S.

1 1.00 1.66 1.21 0.97 2.38 0.00 0.00 -0.01

time (sec)

N/A 0.035 0.322 0.201 0.514 0.585 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 124 114 68 224 0 0 98

N.S.

1 1.00 1.29 1.19 0.71 2.33 0.00 0.00 1.02

time (sec)

N/A 0.044 0.155 0.194 0.254 0.468 0.000 0.000 1.809

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 76 123 93 135 0 0 -1

N.S.

1 1.00 0.60 0.98 0.74 1.07 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.079 0.197 0.262 0.522 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 101 142 134 169 0 0 -1

N.S.

1 1.00 0.55 0.78 0.73 0.92 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.110 0.197 0.262 0.469 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 117 160 167 199 0 0 -1

N.S.

1 1.00 0.49 0.67 0.70 0.84 0.00 0.00 -0.00

time (sec)

N/A 0.086 0.140 0.198 0.253 0.452 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

232 232 126 150 179 227 228 0 -1

N.S.

1 1.00 0.54 0.65 0.77 0.98 0.98 0.00 -0.00

time (sec)

N/A 0.113 0.146 0.322 0.260 0.367 1.958 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 106 281 140 199 177 0 -1

N.S.

1 1.00 0.59 1.56 0.78 1.11 0.98 0.00 -0.01

time (sec)

N/A 0.092 0.129 0.338 0.255 0.375 1.033 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 85 206 98 165 126 0 -1

N.S.

1 1.00 0.52 1.26 0.60 1.01 0.77 0.00 -0.01

time (sec)

N/A 0.134 0.092 0.333 0.267 0.376 0.440 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

296 296 98 166 0 0 0 0 -1

N.S.

1 1.00 0.33 0.56 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.601 0.196 0.755 0.000 0.000 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

309 309 164 191 0 0 0 0 -1

N.S.

1 1.00 0.53 0.62 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.530 0.505 0.575 0.000 0.000 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 207 300 328 600 0 0 -1

N.S.

1 1.00 0.75 1.09 1.19 2.18 0.00 0.00 -0.00

time (sec)

N/A 0.163 0.282 0.384 0.472 0.570 0.000 0.000 0.000

[next] [front] [up]